Testing for the programming circuit of LUT-based FPGAs

The programming circuit of look-up table based FPGAs consists of two shift registers, a control circuit and a configuration memory (SRAM) cell array. Because the configuration memory cell array can be easily tested by conventional test methods for RAMs, we focus on testing for the shift registers. We show that the testing can be done by using only the faculties of the programming circuit, without using additional hardware</p

A test methodology for interconnect structures of LUT-based FPGAs

In this paper we consider testing for programmable interconnect structures of look-up table based FPGAs. The interconnect structure considered in the paper consists of interconnecting wires and programmable points (switches) to join them. As fault models, stuck-at faults of the wires, and extra-device faults and missing-device faults of the programmable points are considered. We heuristically derive test procedures for the faults and then show their validness and complexity</p

Megapolitical Cases before the Constitutional Court of Indonesia since 2004: An Empirical Study

The Constitutional Court of Indonesia is considered one of Asia’s most activist courts. Here we investigate empirically possible determinants of the decisions of its judges over the period 2003–18. The findings are based on a unique data set of 80 high-profile political cases, complemented by data on the socio-biographic profiles of 26 judges who served during that period. Testing for common perceptions of the Constitutional Court since its inception, we first describe patterns in judicial decision-making across time and court composition before testing specifically for the impact of the judges’ professional backgrounds, presidential administrations, the influence of the Chief Justice, and cohort behaviour. The analysis finds declining dissent among justices on the bench over time and also provides evidence of strategic behaviour of justices at the ending of their own terms. But there is little statistical evidence that judicial behaviour has been affected by work background (except for those coming from the executive branch), appointment track or generation – hence suggesting that justices seem to retain more independence than the public seems to perceive. We then discuss the results in the context of Indonesia’s evolving constitutional democracy and look at the implications for comparative studies of judicial behaviour

Political Instability and the Effectiveness of Economic Policies: The Case of Thailand from 1993-2013

Between 1993 and 2013, the Thai economy suffered from massive changes in its economy, political situation, and external environment. Given data constraints and the rapidity of the changing situation, it is impossible to create an adequate macroeconomic model for Thailand during this time period. Thus we use a statistical method designed to solve the omitted variables problem with regression analysis. This method produces a separate slope estimate for every observation which makes it possible to see how omitted variables are affecting the estimated relationships over time. We use this method to estimate dGDP/dG, dGDP/dMB, dGDP/dX, dGDP/de, and dGDP/dReserves using quarterly Thai data from 1993 to 2013 where GDP is gross domestic product, G is government consumption, MB is the monetary base, X is exports, e is the baht/US$ exchange rate, and Reserves are foreign reserves. We find that the pro-equality policies of the Thaksin regime were helpful and that export driven growth is no longer a viable option for Thailand. Although we approve of Thaksin’s economic policies, we disapprove of other aspects of his regime

Using Video Activity Reports to Support Remote Project-Based Learning

Distance learning has been expanding. Learner engagement is particularly important in project-based learning (PBL), but the interaction between teacher and learner and the understanding of learner status, including engagement, is not easy. This study aims to support teacher-learner communication based on learner engagement for remote PBL. In this paper, we propose the use of video activity reports by learners to estimate and understand learner engagement and to demonstrate its feasibility on the basis of the relationship between verbal and nonverbal information that can be obtained from video activity reports and learner engagement. Analysis of 232 video activity reports submitted by eight graduate students while working on remote research-based PBLs reveals that learner engagement decreases (1) when the report contained negative words, (2) when filled pauses were frequent or long, and (3) when silent pauses were infrequent or short. Furthermore, the feasibility of an AI-based support system is demonstrated through the design and implementation of a prototype

Hip Fractures after Intramedullary Nailing Fixation for Atypical Femoral Fractures: Three Cases

Secondary hip fractures (SHFs) rarely occur after intramedullary nailing (IMN) fixation without femoral neck fixation for atypical femoral fractures (AFFs). We report three cases of older Japanese women who sustained SHFs presumably caused by osteoporosis and peri-implant stress concentration around the femoral neck after undergoing IMN without femoral neck fixation for AFF. All cases were fixed with malalignment. In AFF patients, postoperative changes due to postoperative femoral bone malalignment may affect the peri-implant mechanical environment around the femoral neck, which can result in insufficiency fractures. At the first AFF surgery, we recommend femoral neck fixation after adequate reduction is achieved

Automatic Synchronization between Local and Remote Video Persons in Dining Improves Conversation

Asynchronous exchange of video messaging is a way to achieve time-shifted communication for the people who have difficulties to enjoy daily family communication in real time, because of time-zone differences or life-rhythm differences. However face-to-face communication and video messaging communication is significantly different. Since mealtime is the most common opportunity for daily family communication, it has been proposed to synchronize the video message with the viewer by changing its playback speed in dining situations to improve video messaging communication. This paper studies the influence of the synchronization method by means of Wizard of Oz (WoZ), and by means of the implemented prototype system. In the synchronization method, the dining progress of the video person is matched with that of the viewer by real-time meal weight detection. The lab study found that the synchronization via WoZ increased speech frequency, decreased the duration of switching pauses, and led to a higher ratio of eating actions immediately after verbal responses of the user. This indicated that a more active commitment of the user was observed. The prototype system with finer control of the video than WoZ also achieved comparable result in terms of questionnaire scores, indicating the feasibility of a videoconferencing system with such a function

Regulation of energy metabolism by interleukin-1 β, but not by interleukin-6, is mediated by nitric oxide in primary cultured rat hepatocytes

AbstractThe effects of inflammatory cytokines (interleukin-1 β, interleukin-6, and tumor necrosis factor-α) on energy metabolism were studied in primary cultured rat hepatocytes. Adenine nucleotide (ATP, ADP, and AMP) content, lactate production, the ketone body ratio (acetoacetate/β-hydroxybutyrate) reflecting the liver mitochondrial redox state (NAD+/NADH), and nitric oxide formation were measured. Insulin increased ATP content in hepatocytes and had a maximal effect after 8–12 h of culture. Both interleukin-1β and interleukin-6, but not tumor necrosis factor-α, significantly inhibited the ATP increase time- and dose-dependently. Interleukin-1β and interleukin-6 also stimulated lactate production. During the same period, interleukin-1 β but not interleukin-6 decreased the ketone body ratio. Furthermore, interleukin-1 β markedly stimulated nitric oxide formation in hepatocytes, and this increase was blocked by NG-monomethyl-L-arginine (a nitric oxide synthase inhibitor) and by interleukin-1 receptor antagonist. NG-monomethyl-l-arginine reversed inhibition of the ATP increase, decrease in the ketone body ratio, and increase in lactate production, which were induced by interleukin-lβ. Interleukin-1 receptor antagonist completely abolished all of the effects induced by interleukin-1 β. These results demonstrated that interleukin-1 β and interleukin-6 affect the insulin-induced energy metabolism in rat hepatocytes by different mechanisms. Specifically, interleukin-1 β inhibits ATP synthesis by causing the mitochondrial dysfunction, a process which may be mediated by nitric oxide

Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment

The area of geometry with its very strong and appealing visual contents and its also strong and appealing connection between the visual content and its formal specification, is an area where computational tools can enhance, in a significant way, the learning environments. The dynamic geometry software systems (DGSs) can be used to explore the visual contents of geometry. This already mature tools allows an easy construction of geometric figures build from free objects and elementary constructions. The geometric automated theorem provers (GATPs) allows formal deductive reasoning about geometric constructions, extending the reasoning via concrete instances in a given model to formal deductive reasoning in a geometric theory. An adaptative and collaborative blended-learning environment where the DGS and GATP features could be fully explored would be, in our opinion a very rich and challenging learning environment for teachers and students. In this text we will describe the Web Geometry Laboratory a Web environment incorporating a DGS and a repository of geometric problems, that can be used in a synchronous and asynchronous fashion and with some adaptative and collaborative features. As future work we want to enhance the adaptative and collaborative aspects of the environment and also to incorporate a GATP, constructing a dynamic and individualised learning environment for geometry.Comment: In Proceedings THedu'11, arXiv:1202.453